Generating the Explanation of the Complex Behaviors toward Self-reorganization of Mobile Multi-agent Sys- Tems

In order to deal with unexpected or illegal behavior of multi-agent systems, we have to reorganize the system's behavior by rede ning or re-planning each agent's behavior. In that case, the underlying mathematical model connecting the target system's behavior and each agent's behavior is indispensable. In this paper, we present a method for generating causal relations among the parameters which describe the target multi-agent system, consisting of arithmetic and di erential relations of explicitly de ned parameters of agents and implicitly existing parameters embedded in the target system. The task consists of three components, 1) micro-macro translator which reasons about macrobehavior rules from the given micro-behavior of each agent, 2) causal network constructor with qualitative region grammar, and, 3) macro-behavior qualitative simulator. We took an example for the method from the foraging behavior of ant colonies, which is a typical mobile multi-agent system with a local communication method by chemical pheromone.